/*
 * ATopR.h
 *
 *  Created on: May 1, 2012
 *      Author: kobe
 */

#ifndef ATOPR_H_
#define ATOPR_H_

#include "Axiom.h"
#include "Sequent.h"
#include <vector>
#include "Proposition.h"

class A_TopR: public Axiom {
public:
	A_TopR();
	virtual ~A_TopR();
	bool test(Sequent);
	std::string toLatex();
};

#endif /* ATOPR_H_ */
